window.divLog = function() {
	let strs = [];

	for (var i = 0; i < arguments.length; i++) {
		var obj = arguments[i];
		var txt = (typeof obj == "string") && obj || xsJson2String(obj) || "";
		strs.push(txt);
	}

	var div = document.getElementById("logDiv");
	var txt = strs.join(" ");
	txt = txt.replace(/\\r\\n|\\n/g, "\n");
	txt = txt.replace(/\\t/g, "    ");

	div.innerText = div.innerText + "\n" + txt;
};
